(do-install): Delete the dest dir, not the source dir,
authorRichard M. Stallman <rms@gnu.org>
Thu, 27 May 1993 22:12:55 +0000 (22:12 +0000)
committerRichard M. Stallman <rms@gnu.org>
Thu, 27 May 1993 22:12:55 +0000 (22:12 +0000)
commit88190b5416ff66191e2d62e8cfecce560118151f
treeb9bc2abbf3d926006adb972ff4027478f5f54d38
parent8428ef44fcad5e2699a1d697e667286ef4b35561
(do-install): Delete the dest dir, not the source dir,
when they are different.
Makefile.in